大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Rodrigues da Silva 的图书(共99本)

Logic and Program Semantics [electronic resource] : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday

0
索取号:
作者:Constable、 Robert L.、Silva、 Alexandra.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Applications of Evolutionary Computation [electronic resource] : EvoApplications 2012: EvoCOMNET, EvoCOMPLEX, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoNUM, EvoPAR, EvoRISK, EvoSTIM, and EvoSTOC, M谩laga, Spain, April 11-13, 2012, Proceedings

0
索取号:
作者:Chio、 Cecilia.、Agapitos、 Alexandros.、Cagnoni、 Stefano.、Cotta、 Carlos.、Vega、 Francisco Fern谩ndez.、Caro、 Gianni A.、Drechsler、 Rolf.、Ek谩rt、 Anik贸.、Esparcia-Alc谩zar、 Anna I.、Farooq、 Muddassar.、Langdon、 William B.、Merelo-Guerv贸s、 Juan J.、Preuss、 Mike.、Richter、 Hendrik.、Silva、 Sara.、Sim玫es、 Anabela.、Squillero、 Giovanni.、Tarantino、 Ernesto.、Tettamanzi、 Andrea G. B.、Togelius、 Julian.、Urquhart、 Neil.、Uyar、 A. 艦ima.、Yannakakis、 Georgios N.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Genetic Programming [electronic resource] : 15th European Conference, EuroGP 2012, M谩laga, Spain, April 11-13, 2012. Proceedings

0
索取号:
作者:Moraglio、 Alberto.、Silva、 Sara.、Krawiec、 Krzysztof.、Machado、 Penousal.、Cotta、 Carlos.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Raising Public Awareness of Mathematics [electronic resource]

0
索取号:
作者:Behrends、 Ehrhard.、Crato、 Nuno.、Rodrigues、 Jos茅 Francisco.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in Numerical Modeling of Adhesive Joints [electronic resource]

0
索取号:
作者:da Silva、 Lucas Filipe Martins.、Campilho、 Raul D. S. G.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Materials with Complex Behaviour II [electronic resource] : Properties, Non-Classical Materials and New Technologies

0
索取号:
作者:脰chsner、 Andreas.、Silva、 Lucas F. M.、Altenbach、 Holm.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Analysis and Design of Biological Materials and Structures [electronic resource]

0
索取号:
作者:脰chsner、 Andreas.、Silva、 Lucas F. M.、Altenbach、 Holm.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Genetic Programming [electronic resource] : 14th European Conference, EuroGP 2011, Torino, Italy, April 27-29, 2011. Proceedings

0
索取号:
作者:Silva、 Sara.、Foster、 James A.、Nicolau、 Miguel.、Machado、 Penousal.、Giacobini、 Mario.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Formal Methods: Foundations and Applications [electronic resource] : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

0
索取号:
作者:Davies、 Jim.、Silva、 Leila.、Simao、 Adenilso.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Structural Connections for Lightweight Metallic Structures [electronic resource]

0
索取号:
作者:Moreira、 Pedro M.G.P.、Silva、 Lucas F. M.、Castro、 Paulo M.S.T.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Hybrid Adhesive Joints [electronic resource]

0
索取号:
作者:Silva、 Lucas F. M.、Pirondi、 Alessandro.、脰chsner、 Andreas.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Introduction to Reliable and Secure Distributed Programming [electronic resource]

0
索取号:
作者:Cachin、 Christian.、Guerraoui、 Rachid.、Rodrigues、 Lu铆s.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Coordination, Organizations, Institutions and Norms in Agent Systems V [electronic resource] : COIN 2009 International Workshops. COIN@AAMAS 2009, Budapest, Hungary, May 2009, COIN@IJCAI 2009, Pasadena, USA, July 2009, COIN@MALLOW 2009, Turin, Italy, September 2009. Revised Selected Papers

0
索取号:
作者:Padget、 Julian.、Artikis、 Alexander.、Vasconcelos、 Wamberto.、Stathis、 Kostas.、Silva、 Viviane Torres.、Matson、 Eric.、Polleres、 Axel.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Digital Ecosystems [electronic resource] : Third International Conference, OPAALS 2010, Aracuju, Sergipe, Brazil, March 22-23, 2010, Revised Selected Papers

0
索取号:
作者:Antonio Basile Colugnati、 Fernando.、Lopes、 Lia Carrari Rodrigues.、Barretto、 Saulo Faria Almeida.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Revision, Acceptability and Context [electronic resource] : Theoretical and Algorithmic Aspects

0
索取号:
作者:Gabbay、 Dov M.、Rodrigues、 Odinaldo T.、Russo、 Alessandra.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Gravitation as a Plastic Distortion of the Lorentz Vacuum [electronic resource]

0
索取号:
作者:Fern谩ndez、 Virginia Velma.、Rodrigues、 Waldyr A.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
最近添加的分类